-
-
Notifications
You must be signed in to change notification settings - Fork 2.5k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Add jump-label styling for base16 themes #10076
Conversation
The other base16 themes should be updated alongside for consistency |
All done @archseer |
I think just underlining is pretty hard to read. I have seen that feedback multiple times that without a color change the jumpmode labels are pretty hard to notice. I think it also makes sense since the jumplabels are not part of the normal text so it makes no sense to syntax highlight them as normal. I would atleast change the foreground color but ideally also male them bold like other themes so it's easier to notice. |
@pascalkuthe Fair point. Hopefully that feels better. |
* add jump-label styling for base16_transparent theme * keep the change consistent with other themes from base16 family * update jump-labels color to blue and make them bold
* add jump-label styling for base16_transparent theme * keep the change consistent with other themes from base16 family * update jump-labels color to blue and make them bold
* add jump-label styling for base16_transparent theme * keep the change consistent with other themes from base16 family * update jump-labels color to blue and make them bold
* add jump-label styling for base16_transparent theme * keep the change consistent with other themes from base16 family * update jump-labels color to blue and make them bold
* add jump-label styling for base16_transparent theme * keep the change consistent with other themes from base16 family * update jump-labels color to blue and make them bold
* add jump-label styling for base16_transparent theme * keep the change consistent with other themes from base16 family * update jump-labels color to blue and make them bold
* add jump-label styling for base16_transparent theme * keep the change consistent with other themes from base16 family * update jump-labels color to blue and make them bold
* add jump-label styling for base16_transparent theme * keep the change consistent with other themes from base16 family * update jump-labels color to blue and make them bold
* add jump-label styling for base16_transparent theme * keep the change consistent with other themes from base16 family * update jump-labels color to blue and make them bold
To respect the minimalistic look of the theme and inherit the link styling from the Web platform, I kept it simple by making labels underlined.